大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Falk Jim 的图书(共201本)

e-Technologies and Networks for Development [electronic resource] : First International Conference, ICeND 2011, Dar-es-Salaam, Tanzania, August 3-5, 2011. Proceedings

0
索取号：
作者：Yonazi、 Jim James.、Sedoyeka、 Eliamani.、Ariwa、 Ezendu.、El-Qawasmeh、 Eyas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

0
索取号：
作者：Davies、 Jim.、Silva、 Leila.、Simao、 Adenilso.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Molecular and Functional Models in Neuropsychiatry [electronic resource]

0
索取号：
作者：Hagan、 Jim J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Combinations of Intelligent Methods and Applications [electronic resource] : Proceedings of the 2nd International Workshop, CIMA 2010, France, October 2010

0
索取号：
作者：Hatzilygeroudis、 Ioannis.、Prentzas、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Theoretical Aspects of Computing-ICTAC 2010 [electronic resource] : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

0
索取号：
作者：Cavalcanti、 Ana.、Deharbe、 David.、Gaudel、 Marie-Claude.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Testing Techniques in Software Engineering [electronic resource] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

0
索取号：
作者：Borba、 Paulo.、Cavalcanti、 Ana.、Sampaio、 Augusto.、Woodcook、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Presenting at Medical Meetings [electronic resource]

0
索取号：
作者：Reekers、 Jim A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Encyclopedia of Astrobiology [electronic resource]

0
索取号：
作者：Gargaud、 Muriel.、Amils、 Ricardo.、Quintanilla、 Jos茅 Cernicharo.、Cleaves、 Henderson James (Jim).、Irvine、 William M.、Pinti、 Daniele L.、Viso、 Michel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Methods: Foundations and Applications [electronic resource] : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

0
索取号：
作者：Oliveira、 Marcel Vin铆cius Medeiros.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Collaborative Software Engineering [electronic resource]

0
索取号：
作者：Mistr铆k、 Ivan.、Grundy、 John.、Hoek、 Andr茅.、Whitehead、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Patent Law for Computer Scientists [electronic resource] : Steps to Protect Computer-Implemented Inventions

0
索取号：
作者：Closa、 Daniel.、Gardiner、 Alex.、Giemsa、 Falk.、Machek、 J枚rg.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Verified Software: Theories, Tools, Experiments [electronic resource] : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

0
索取号：
作者：Shankar、 Natarajan.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Mixed Finite Elements, Compatibility Conditions, and Applications [electronic resource] : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy June 26鈥揓uly 1, 2006

0
索取号：
作者：Boffi、 Daniele.、Brezzi、 Franco.、Demkowicz、 Leszek F.、Dur谩n、 Ricardo G.、Falk、 Richard S.、Fortin、 Michel.、Boffi、 Daniele.、Gastaldi、 Lucia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Quantitative Information Fusion for Hydrological Sciences [electronic resource]

0
索取号：
作者：Cai、 Xing.、Yeh、 T. -C. Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Theoretical Aspects of Computing-ICTAC 2007 [electronic resource] : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

0
索取号：
作者：Jones、 Cliff B.、Liu、 Zhiming.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Formal Methods and Hybrid Real-Time Systems [electronic resource] : Essays in Honor of Dines Bj酶rner and Chaochen Zhou on the Occasion of Their 70th Birthdays

0
索取号：
作者：Jones、 Cliff B.、Liu、 Zhiming.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.